Paradoxes of Intensionality

نویسندگان

  • Dustin Tucker
  • Richmond H. Thomason
چکیده

We identify a class of paradoxes that are neither set-theoretical or semantical, but that seem to depend on intensionality. In particular, these paradoxes arise out of plausible properties of propositional attitudes and their objects. We try to explain why logicians have neglected these paradoxes, and to show that, like the Russell Paradox and the direct discourse Liar Paradox, these intensional paradoxes are recalcitrant and challenge logical analysis. Indeed, when we take these paradoxes seriously, we may need to rethink the commonly accepted methods for dealing with the logical paradoxes.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Intensionality and Paradoxes in Ramsey's 'the Foundations of Mathematics'

In ‘The Foundations of Mathematics’, Frank Ramsey separates paradoxes into two groups, now taken to be the logical and the semantical. But he also revises the logical system developed in Whitehead and Russell’s Principia Mathematica, and in particular attempts to provide an alternate resolution of the semantical paradoxes. I reconstruct the logic that he develops for this purpose, and argue tha...

متن کامل

Factives and Intensionality

Notion of normal intensionality and of intensionality preserving negation are introduced. Both these notions apply to intensional sentential operators. When applied to factive operators they allows us to understand the way these operators give rise to presuppositions and their duals, assertions. They allow us also to distinguish semantically emotive factives from non-emotive ones.

متن کامل

Workshop on Foundations of Intensional Logic and Natural Language

A very broad range of foundational issues is relevant for this workshop. We can, roughly and incompletely, enumerate the following. First, the paradoxes such as Russell's paradox and the Knower paradox; second, intensional contexts and their substitutivity problems; third, the logic of the notions that generate intensionl contexts, eg, doxastic logic, modal logic and tense logic; fourth, the on...

متن کامل

A Higher-order Fine-grained Logic for Intensional Semantics

This paper describes a higher-order logic with fine-grained intensionality (FIL). Unlike traditional Montogovian type theory, intensionality is treated as basic, rather than derived through possible worlds. This allows for fine-grained intensionality without impossible worlds. Possible worlds and modalities are defined algebraically. The proof theory for FIL is given as a set of tableau rules, ...

متن کامل

Expressiveness via Intensionality and Concurrency

Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the λ-calculus. However, recent work shows that there are more expressive intensional calculi such as S F-calculus. Traditionally process calculi capture computation by encoding the λ-calculus, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Rew. Symb. Logic

دوره 4  شماره 

صفحات  -

تاریخ انتشار 2011